Optimal. Leaf size=167 \[ \frac{(114 x+119) \left (3 x^2+5 x+2\right )^{5/2}}{80 (2 x+3)^5}+\frac{(13074 x+17051) \left (3 x^2+5 x+2\right )^{3/2}}{9600 (2 x+3)^3}-\frac{(26934 x+57845) \sqrt{3 x^2+5 x+2}}{12800 (2 x+3)}+\frac{177}{128} \sqrt{3} \tanh ^{-1}\left (\frac{6 x+5}{2 \sqrt{3} \sqrt{3 x^2+5 x+2}}\right )-\frac{137111 \tanh ^{-1}\left (\frac{8 x+7}{2 \sqrt{5} \sqrt{3 x^2+5 x+2}}\right )}{25600 \sqrt{5}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.106052, antiderivative size = 167, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 27, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.222, Rules used = {810, 812, 843, 621, 206, 724} \[ \frac{(114 x+119) \left (3 x^2+5 x+2\right )^{5/2}}{80 (2 x+3)^5}+\frac{(13074 x+17051) \left (3 x^2+5 x+2\right )^{3/2}}{9600 (2 x+3)^3}-\frac{(26934 x+57845) \sqrt{3 x^2+5 x+2}}{12800 (2 x+3)}+\frac{177}{128} \sqrt{3} \tanh ^{-1}\left (\frac{6 x+5}{2 \sqrt{3} \sqrt{3 x^2+5 x+2}}\right )-\frac{137111 \tanh ^{-1}\left (\frac{8 x+7}{2 \sqrt{5} \sqrt{3 x^2+5 x+2}}\right )}{25600 \sqrt{5}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 810
Rule 812
Rule 843
Rule 621
Rule 206
Rule 724
Rubi steps
\begin{align*} \int \frac{(5-x) \left (2+5 x+3 x^2\right )^{5/2}}{(3+2 x)^6} \, dx &=\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}-\frac{1}{160} \int \frac{(437+462 x) \left (2+5 x+3 x^2\right )^{3/2}}{(3+2 x)^4} \, dx\\ &=\frac{(17051+13074 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^3}+\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}+\frac{\int \frac{(-45914-53868 x) \sqrt{2+5 x+3 x^2}}{(3+2 x)^2} \, dx}{12800}\\ &=-\frac{(57845+26934 x) \sqrt{2+5 x+3 x^2}}{12800 (3+2 x)}+\frac{(17051+13074 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^3}+\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}-\frac{\int \frac{-725956-849600 x}{(3+2 x) \sqrt{2+5 x+3 x^2}} \, dx}{102400}\\ &=-\frac{(57845+26934 x) \sqrt{2+5 x+3 x^2}}{12800 (3+2 x)}+\frac{(17051+13074 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^3}+\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}+\frac{531}{128} \int \frac{1}{\sqrt{2+5 x+3 x^2}} \, dx-\frac{137111 \int \frac{1}{(3+2 x) \sqrt{2+5 x+3 x^2}} \, dx}{25600}\\ &=-\frac{(57845+26934 x) \sqrt{2+5 x+3 x^2}}{12800 (3+2 x)}+\frac{(17051+13074 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^3}+\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}+\frac{531}{64} \operatorname{Subst}\left (\int \frac{1}{12-x^2} \, dx,x,\frac{5+6 x}{\sqrt{2+5 x+3 x^2}}\right )+\frac{137111 \operatorname{Subst}\left (\int \frac{1}{20-x^2} \, dx,x,\frac{-7-8 x}{\sqrt{2+5 x+3 x^2}}\right )}{12800}\\ &=-\frac{(57845+26934 x) \sqrt{2+5 x+3 x^2}}{12800 (3+2 x)}+\frac{(17051+13074 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^3}+\frac{(119+114 x) \left (2+5 x+3 x^2\right )^{5/2}}{80 (3+2 x)^5}+\frac{177}{128} \sqrt{3} \tanh ^{-1}\left (\frac{5+6 x}{2 \sqrt{3} \sqrt{2+5 x+3 x^2}}\right )-\frac{137111 \tanh ^{-1}\left (\frac{7+8 x}{2 \sqrt{5} \sqrt{2+5 x+3 x^2}}\right )}{25600 \sqrt{5}}\\ \end{align*}
Mathematica [A] time = 0.158243, size = 120, normalized size = 0.72 \[ \frac{-\frac{10 \sqrt{3 x^2+5 x+2} \left (172800 x^5+4630848 x^4+21586808 x^3+41641148 x^2+37019838 x+12600183\right )}{(2 x+3)^5}+411333 \sqrt{5} \tanh ^{-1}\left (\frac{-8 x-7}{2 \sqrt{5} \sqrt{3 x^2+5 x+2}}\right )+531000 \sqrt{3} \tanh ^{-1}\left (\frac{6 x+5}{2 \sqrt{9 x^2+15 x+6}}\right )}{384000} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.013, size = 279, normalized size = 1.7 \begin{align*} -{\frac{13}{800} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-5}}-{\frac{131}{8000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-4}}-{\frac{521}{15000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-3}}-{\frac{9349}{300000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-2}}+{\frac{57455+68946\,x}{125000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{5}{2}}}}-{\frac{11491}{62500} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-1}}+{\frac{31405+37686\,x}{60000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{3}{2}}}}+{\frac{21805+26166\,x}{16000}\sqrt{3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}}}}+{\frac{177\,\sqrt{3}}{128}\ln \left ({\frac{\sqrt{3}}{3} \left ({\frac{5}{2}}+3\,x \right ) }+\sqrt{3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}}} \right ) }+{\frac{137111\,\sqrt{5}}{128000}{\it Artanh} \left ({\frac{2\,\sqrt{5}}{5} \left ( -{\frac{7}{2}}-4\,x \right ){\frac{1}{\sqrt{12\, \left ( x+3/2 \right ) ^{2}-16\,x-19}}}} \right ) }-{\frac{137111}{500000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{5}{2}}}}-{\frac{137111}{240000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-4\,x-{\frac{19}{4}} \right ) ^{{\frac{3}{2}}}}-{\frac{137111}{128000}\sqrt{12\, \left ( x+3/2 \right ) ^{2}-16\,x-19}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.56705, size = 401, normalized size = 2.4 \begin{align*} \frac{9349}{100000} \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{5}{2}} - \frac{13 \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{7}{2}}}{25 \,{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )}} - \frac{131 \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{7}{2}}}{500 \,{\left (16 \, x^{4} + 96 \, x^{3} + 216 \, x^{2} + 216 \, x + 81\right )}} - \frac{521 \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{7}{2}}}{1875 \,{\left (8 \, x^{3} + 36 \, x^{2} + 54 \, x + 27\right )}} - \frac{9349 \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{7}{2}}}{75000 \,{\left (4 \, x^{2} + 12 \, x + 9\right )}} + \frac{6281}{10000} \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{3}{2}} x - \frac{11491}{240000} \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{3}{2}} - \frac{11491 \,{\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac{5}{2}}}{25000 \,{\left (2 \, x + 3\right )}} + \frac{13083}{8000} \, \sqrt{3 \, x^{2} + 5 \, x + 2} x + \frac{177}{128} \, \sqrt{3} \log \left (\sqrt{3} \sqrt{3 \, x^{2} + 5 \, x + 2} + 3 \, x + \frac{5}{2}\right ) + \frac{137111}{128000} \, \sqrt{5} \log \left (\frac{\sqrt{5} \sqrt{3 \, x^{2} + 5 \, x + 2}}{{\left | 2 \, x + 3 \right |}} + \frac{5}{2 \,{\left | 2 \, x + 3 \right |}} - 2\right ) - \frac{49891}{64000} \, \sqrt{3 \, x^{2} + 5 \, x + 2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.55739, size = 641, normalized size = 3.84 \begin{align*} \frac{531000 \, \sqrt{3}{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )} \log \left (4 \, \sqrt{3} \sqrt{3 \, x^{2} + 5 \, x + 2}{\left (6 \, x + 5\right )} + 72 \, x^{2} + 120 \, x + 49\right ) + 411333 \, \sqrt{5}{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )} \log \left (-\frac{4 \, \sqrt{5} \sqrt{3 \, x^{2} + 5 \, x + 2}{\left (8 \, x + 7\right )} - 124 \, x^{2} - 212 \, x - 89}{4 \, x^{2} + 12 \, x + 9}\right ) - 20 \,{\left (172800 \, x^{5} + 4630848 \, x^{4} + 21586808 \, x^{3} + 41641148 \, x^{2} + 37019838 \, x + 12600183\right )} \sqrt{3 \, x^{2} + 5 \, x + 2}}{768000 \,{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.30446, size = 549, normalized size = 3.29 \begin{align*} -\frac{137111}{128000} \, \sqrt{5} \log \left (\frac{{\left | -4 \, \sqrt{3} x - 2 \, \sqrt{5} - 6 \, \sqrt{3} + 4 \, \sqrt{3 \, x^{2} + 5 \, x + 2} \right |}}{{\left | -4 \, \sqrt{3} x + 2 \, \sqrt{5} - 6 \, \sqrt{3} + 4 \, \sqrt{3 \, x^{2} + 5 \, x + 2} \right |}}\right ) - \frac{177}{128} \, \sqrt{3} \log \left ({\left | -2 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )} - 5 \right |}\right ) - \frac{9}{64} \, \sqrt{3 \, x^{2} + 5 \, x + 2} - \frac{27201072 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{9} + 316934472 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{8} + 4873277176 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{7} + 14374341276 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{6} + 80473660448 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{5} + 98380998102 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{4} + 236231795506 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{3} + 119385279741 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{2} + 103767800973 \, \sqrt{3} x + 13144069068 \, \sqrt{3} - 103767800973 \, \sqrt{3 \, x^{2} + 5 \, x + 2}}{38400 \,{\left (2 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )}^{2} + 6 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 5 \, x + 2}\right )} + 11\right )}^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]